#include "print.h"

void main(void) {
    int i;
    char* str = "kernel\n123";
    put_str("HelloWorld.\n");
    for(i = 0; i < 10; i++)  put_char(str[i]);
    put_char('\b');
    put_char('\n');
    //put_int(666);
    put_int(0x00032a3f);
    while(1);
    //return 0;
}

